ampere's circuital law derivation